Event-tree analysis using binary decision diagrams
نویسندگان
چکیده
منابع مشابه
Event-tree analysis using binary decision diagrams
and Conclusions This paper is concerned with the analysis of Event Trees where the branch point event causes are defined using Fault Tree structures. Attention is focussed on the non-trivial situation where there are dependencies amongst the branch point events. The dependencies are due to component failure events featuring in one or more of the fault trees. In these situations it is shown that...
متن کاملA fault tree analysis strategy using binary decision diagrams
The use of Binary Decision Diagrams (BDDs) in fault tree analysis provides both an accurate and efficient means of analysing a system. There is a problem however, with the conversion process of the fault tree to the BDD. The variable ordering scheme chosen for the construction of the BDD has a crucial effect on its resulting size and previous research has failed to identify any scheme that is c...
متن کاملProgram Analysis Using Binary Decision Diagrams
A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation, we develop new techniques and frameworks for applying BDDs to program analysis, and use our BDD-based analyses to gain new insigh...
متن کاملProgram Analysis Using Binary Decision Diagrams
A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation, we develop new techniques and frameworks for applying BDDs to program analysis, and use our BDD-based analyses to gain new insigh...
متن کاملDiagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams
Diagnostic methods for engineering systems are typically model-based: functional and/or fault models are used to diagnose the root cause of anomalies. Discrete models are abstractions of systems in a discretized input, output and state space. These models provide an accurate description for a broad category of systems (switching networks, digital systems, etc.) but can also be used for approxim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Reliability
سال: 2000
ISSN: 0018-9529
DOI: 10.1109/24.877343